Atención: recuerde que este es un catálogo parcial de nuestra colección.
Búsqueda en la clasificación temática MSC 2000: 03G30 (03-02 03B15 03B40)
Mostrando 4 resultados encontrados.
 
03 Mathematical logic and foundations
  03-02 Research exposition (monographs, survey articles)
  03B General logic
    03B15 Higher-order logic and type theory
    03B40 Combinatory logic and lambda-calculus [See also 68N18]
  03G Algebraic logic
    03G30 Categorical logic, topoi [See also 18B25, 18C05, 18C10]
 

Explorar índices alfabéticos


Ingrese las primeras letras del autor o título que busca. Omita artículos iniciales en títulos.

Búsquedas por tema: explore la MSC 2000

¿Necesita ayuda?

Si necesita ayuda para encontrar información, puede visitar personalmente la biblioteca, llamarnos por teléfono al 291 459 5116, o enviarnos un mensaje a bibima@criba.edu.ar.

Para solicitar copias de artículos, complete el formulario o escríbanos a pedidos.inmabb@gmail.com

Enlaces surtidos